$\forall$$r$:rationals. qpositive($r$) $\in$ $\mathbb{B}$